Optimal. Leaf size=62 \[ \frac {4 i a^2 (c-i c \tan (e+f x))^{5/2}}{5 f}-\frac {2 i a^2 (c-i c \tan (e+f x))^{7/2}}{7 c f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.10, antiderivative size = 62, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {3603, 3568, 45}
\begin {gather*} \frac {4 i a^2 (c-i c \tan (e+f x))^{5/2}}{5 f}-\frac {2 i a^2 (c-i c \tan (e+f x))^{7/2}}{7 c f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 3568
Rule 3603
Rubi steps
\begin {align*} \int (a+i a \tan (e+f x))^2 (c-i c \tan (e+f x))^{5/2} \, dx &=\left (a^2 c^2\right ) \int \sec ^4(e+f x) \sqrt {c-i c \tan (e+f x)} \, dx\\ &=\frac {\left (i a^2\right ) \text {Subst}\left (\int (c-x) (c+x)^{3/2} \, dx,x,-i c \tan (e+f x)\right )}{c f}\\ &=\frac {\left (i a^2\right ) \text {Subst}\left (\int \left (2 c (c+x)^{3/2}-(c+x)^{5/2}\right ) \, dx,x,-i c \tan (e+f x)\right )}{c f}\\ &=\frac {4 i a^2 (c-i c \tan (e+f x))^{5/2}}{5 f}-\frac {2 i a^2 (c-i c \tan (e+f x))^{7/2}}{7 c f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.37, size = 78, normalized size = 1.26 \begin {gather*} -\frac {2 a^2 c^2 \sec ^2(e+f x) (\cos (2 e)-i \sin (2 e)) (-9 i+5 \tan (e+f x)) \sqrt {c-i c \tan (e+f x)}}{35 f (\cos (f x)+i \sin (f x))^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.26, size = 47, normalized size = 0.76
method | result | size |
derivativedivides | \(-\frac {2 i a^{2} \left (\frac {\left (c -i c \tan \left (f x +e \right )\right )^{\frac {7}{2}}}{7}-\frac {2 c \left (c -i c \tan \left (f x +e \right )\right )^{\frac {5}{2}}}{5}\right )}{f c}\) | \(47\) |
default | \(-\frac {2 i a^{2} \left (\frac {\left (c -i c \tan \left (f x +e \right )\right )^{\frac {7}{2}}}{7}-\frac {2 c \left (c -i c \tan \left (f x +e \right )\right )^{\frac {5}{2}}}{5}\right )}{f c}\) | \(47\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 48, normalized size = 0.77 \begin {gather*} -\frac {2 i \, {\left (5 \, {\left (-i \, c \tan \left (f x + e\right ) + c\right )}^{\frac {7}{2}} a^{2} - 14 \, {\left (-i \, c \tan \left (f x + e\right ) + c\right )}^{\frac {5}{2}} a^{2} c\right )}}{35 \, c f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.97, size = 92, normalized size = 1.48 \begin {gather*} -\frac {16 \, \sqrt {2} {\left (-7 i \, a^{2} c^{2} e^{\left (2 i \, f x + 2 i \, e\right )} - 2 i \, a^{2} c^{2}\right )} \sqrt {\frac {c}{e^{\left (2 i \, f x + 2 i \, e\right )} + 1}}}{35 \, {\left (f e^{\left (6 i \, f x + 6 i \, e\right )} + 3 \, f e^{\left (4 i \, f x + 4 i \, e\right )} + 3 \, f e^{\left (2 i \, f x + 2 i \, e\right )} + f\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - a^{2} \left (\int \left (- c^{2} \sqrt {- i c \tan {\left (e + f x \right )} + c}\right )\, dx + \int \left (- 2 c^{2} \sqrt {- i c \tan {\left (e + f x \right )} + c} \tan ^{2}{\left (e + f x \right )}\right )\, dx + \int \left (- c^{2} \sqrt {- i c \tan {\left (e + f x \right )} + c} \tan ^{4}{\left (e + f x \right )}\right )\, dx\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 9.95, size = 83, normalized size = 1.34 \begin {gather*} \frac {16\,a^2\,c^2\,\left ({\mathrm {e}}^{e\,2{}\mathrm {i}+f\,x\,2{}\mathrm {i}}\,7{}\mathrm {i}+2{}\mathrm {i}\right )\,\sqrt {c+\frac {c\,\left ({\mathrm {e}}^{e\,2{}\mathrm {i}+f\,x\,2{}\mathrm {i}}\,1{}\mathrm {i}-\mathrm {i}\right )\,1{}\mathrm {i}}{{\mathrm {e}}^{e\,2{}\mathrm {i}+f\,x\,2{}\mathrm {i}}+1}}}{35\,f\,{\left ({\mathrm {e}}^{e\,2{}\mathrm {i}+f\,x\,2{}\mathrm {i}}+1\right )}^3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________